Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
611	Part III Michaelmas 2012 COMPUTATIONAL COMPLEXITY Lecture notes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-10-08 12:14:22 Computer science Turing machine Models of computation Alan Turing Universal Turing machine Computability Computational complexity theory Halting problem Church–Turing thesis Theoretical computer science Computability theory Theory of computation
612	Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical & Electronic Engineering, The University of Adelaide, & 2 Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:18 Models of computation Concurrency Diagrams Petri net Computer science Heuristic function A* search algorithm Model checking Unfolding Mathematics Heuristics Theoretical computer science
613	NII Lectures: A Model Of Parallelism To Guide Thinking Lawrence Snyder www.cs.washington.edu/homes/snyder 1 October 2008 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:57 Models of computation Programming paradigms Algorithm Mathematical logic Theoretical computer science Programming language Abstract machine C Abstraction Computing Software engineering Computer programming
614	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
615	Model-Based Deployment in Automotive Embedded Software: From a High-Level View to Low-Level Implementations Andreas Bauer, Jan Romberg Institut f¨ur Informatik, Technische Universit¨at M¨unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:25 SIGNAL Parallel computing Distributed computing Dataflow Transmission Control Protocol Computer cluster Futures and promises Central processing unit Computing Models of computation Solid-state drive
616	A Dataflow System with a Local Optima-based Scheduling for Enterprise Grids Chao Jin and Rajkumar Buyya Grid Computing and Distributed System Laboratory Department of Computer Science and Software Engineering The Univers Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2007-11-18 22:19:31 Scheduling algorithms Programming paradigms Computer data Dataflow Scheduling Directed acyclic graph Parallel computing Thread Dataflow architecture Computing Computer architecture Models of computation
617	Part III Michaelmas 2011 QUANTUM COMPUTATION Lecture notes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-06-11 09:48:33 Computational complexity theory Quantum complexity theory Quantum information science Decision tree model Quantum algorithm Deutsch–Jozsa algorithm PP BQP Quantum computer Theoretical computer science Applied mathematics Models of computation
618	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 10:00:53 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory
619	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† April 12, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2010-04-12 04:17:34 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum computer Quantum circuit Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics
620	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science

UPDATE